Efficient Forward Chaining for Declarative Rules in a Multi-Agent Modelling Language
نویسنده
چکیده
Most rule-based systems are imperative, or, if they are mainly declarative, also provide some imperative features. It is argued that a strictly declarative formalism with a sound logical basis is
منابع مشابه
Logic, Reasoning and a Programming Language for Simulating Economic and Business Processes with Artificially Intelligent Agents 10 Conclusion " Efficient Forward Chaining for Declarative Rules in a Multi-agent Modelling Language " , Centre for Policy Modelling Discussion Paper
In many modelling situations analytic solutions or traditional " black-box " solutions are unavailable. The same situations are often those where the understanding of the processes involved are most lacking. The combination of the qualitative logical formal tools combined with a suitable declarative modelling language allows for a coherent methodology to be applied which will allow a new unders...
متن کاملIncreasing Maintainability of NLP Evaluation Modules Through Declarative Implementations
Computing precision and recall metrics for named entity tagging and resolution involves classifying text spans as true positives, false positives, or false negatives. There are many factors that make this classification complicated for real world systems. We describe an evaluation system that attempts to control this complexity through a set of rules and a forward chaining inference engine.
متن کاملTemporal Languages for Simulation and Analysis of the Dynamics within an Organisation
In this paper a modelling approach to the dynamics within a multiagent organisation is presented. A declarative, executable temporal modelling language for organisation dynamics is proposed as a basis for simulation. Moreover, to be able to specify and analyse dynamic properties, another temporal language is put forward, which is much more expressive than the executable language for simulations...
متن کاملEfficient defeasible reasoning systems
For many years, the non-monotonic reasoning community has focussed on highly expressive logics. Such logics have turned out to be computationally expensive, and have given little support to the practical use of non-monotonic reasoning. In this work we discuss defeasible logic, a less-expressive but more efficient non-monotonic logic. We report on two new implemented systems for defeasible logic...
متن کاملDeclarative Semantics in Object-Oriented Software Development - A Taxonomy and Survey
One of the modern paradigms to develop an application is object oriented analysis and design. In this paradigm, there are several objects and each object plays some specific roles in applications. In an application, we must distinguish between procedural semantics and declarative semantics for their implementation in a specific programming language. For the procedural semantics, we can write a ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1994